1. Automated reasoning: 33 Base research problems
Author: Larry Wos
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
Classification :
QA
،
76
.
9
،.
A96
,
W67
،
1988
2. Automated reasoning: introduction and applications
Author: )by( Larry Wos )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
Classification :
QA
76
.
9
.
A96
A93
1984
3. 1: Exploring the power of automated reasoning /
Author: Larry Wos ; Gail W. Pieper.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
4. 1: Exploring the power of automated reasoning /
Author: Larry Wos ; Gail W. Pieper.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
5. The automation of reasoning : an experimenters notebook with OTTER tutorial
Author: Wos, Larry.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Automatic theorem proving
Classification :
QA
76
.
9
.
A96
W68
1996
